wrote a thesis on weak Tarskian type universes in homotopy type theory:
Last revised on November 21, 2014 at 15:49:17. See the history of this page for a list of all contributions to it.